(read_c_string): For "", concatenate the two strings.

diff --git a/lib-src/make-docfile.c b/lib-src/make-docfile.c
index 2fb9af0849fbf34212f05af041da2b8d4543ccf4..1308f6c8ed894ca003f89aacb40bd817ddc73066 100644 (file)
--- a/lib-src/make-docfile.c
+++ b/lib-src/make-docfile.c
@@ -127,10 +127,7 @@ read_c_string (infile, printflag)
       c = getc (infile);
       if (c != '"')
        break;
-      if (printflag > 0)
-       putc (c, outfile);
-      else if (printflag < 0)
-       *p++ = c;
+      /* If we had a "", concatenate the two strings.  */
       c = getc (infile);
     }